see at logic - Mathematical logic.
and at formal logic
David Hilbert, Wilhelm Ackermann, Grundzüge der Theoretischen Logik , 4th ed. Springer Heidelberg 1959 [1928]
Georg Kreisel, Mathematical Logic, in T. Saaty et al. (ed.), Lectures on Modern Mathematics III, Wiley New York (1965) 95-195
John Lane Bell, M. Machover, A Course in Mathematical Logic, North-Holland Amsterdam 1977. (ch. 10,§5) (ISBN:9780720428445)
Last revised on February 18, 2023 at 15:45:51. See the history of this page for a list of all contributions to it.